<?php 

 if (!isset($_SESSION['login']) or !isset($_SESSION['senha'])) {
 	header('location:../index.html');
 }

 $campo = $_POST['RadioGroup1'];
 switch ($campo) {
 	case '1':
 		$termo = $_POST['codigo'];
 		break;
 	case '2':
 		$termo = $_POST['nome'];
 		break;
 	case '3':
 		$termo = $_POST['fabricante'];
 		break;
 	case '4':
 		$termo = $_POST['categoria'];
 		break;
 }


 $sql = "CALL pesquia_ferramenta('$campo','$termo')";
 $resultado = mysql_query($sql) or die(mysql_error());
 $arrayresultado = mysql_fetch_array($resultado);
 var_dump($arrayresultado);
 ?>